magnifier: Make magnification factor changes animatable

So we can seamlessly change between them through eg. keybindings.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/984

diff --git a/js/ui/magnifier.js b/js/ui/magnifier.js
index 2cb398455080f7f03b933799d650cbc7b880f977..844a1506cd575bf92712e376af13e0e3856386e1 100644 (file)
--- a/js/ui/magnifier.js
+++ b/js/ui/magnifier.js
@@ -875,7 +875,8 @@ var ZoomRegion = class ZoomRegion {
     setMagFactor(xMagFactor, yMagFactor) {
         this._changeROI({ xMagFactor,
                           yMagFactor,
-                          redoCursorTracking: this._followingCursor });
+                          redoCursorTracking: this._followingCursor,
+                          animate: true });
     }
 
     /**